t: (w => p, ..a)
t
